Welcome to the Category Theory Sandbox Engine

This sandbox lets you explore category theory concepts—from objects and morphisms to functors and natural transformations—and now offers a novel visualization tool.

You can visualize a string by mapping it (using a defined charset) into a unique BigInt index, then rendering that number as a grid of color-coded pixels.

Predefined category tags are available to help you visually tag your objects and morphisms.

• (1)Objects
• (2)Morphisms
• (3)Functors
• (4)Natural Transformations
• (5)Monoids
• (6)Groups
• (7)Rings
• (8)Modules
• (9)Algebras
• (10)Limits
• (11)Colimits
• (12)Adjunctions
• (13)Cartesian Closed Categories
• (14)Topoi
• (15)Quivers
• (16)Monoidal Categories
• (17)Higher Categories

Click "Dismiss" to hide this panel. You can re-display it later by clicking the "Show Demo" button.

Dismiss